/*
 * ParticipantSet.java
 *
 * Created on 21 de mayo de 2006, 11:05
 *
 * To change this template, choose Tools | Template Manager
 * and open the template in the editor.
 */

package usecase;

/**
 * This class is an allias for a HashSet. This class
 * stores all the participants found in a use case,
 * including the system and all actors.
 * 
 */
public class ParticipantSet 
    extends java.util.HashSet
{
    
    /** Creates a new instance of ParticipantSet */
    public ParticipantSet () {
    }
    
    /** Participants are stored in lower case **/
    /*public boolean add(String p) {
        return super.add (p.toLowerCase ());
    }*/
    
}
